Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
161	A Denotational Semantics for Total Correctness of Sequential Exact Real Programs Thomas Anberr´ee Dr. Mart´ın H¨otzel Escard´o Supervisor Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-02-29 20:15:03 Exponentials Exponentiation Qi ALGOL 68 Universal quantification FO Software engineering Programming language theory Computing
162	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
163	Intensional Polymorphism in Type-Erasure Semantics∗ Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Computer science Applied mathematics
164	Language Support for Processing Distributed Ad Hoc Data Kenny Q. Zhu1 Daniel S. Dantas2 Kathleen Fisher3 Limin Jia2 Yitzhak Mandelbaum3 Vivek Pai2 David Walker2 1 Shanghai Jiao Tong University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Denotational semantics Logic in computer science Geographic information system G-code String Theoretical computer science Computing Mathematics
165	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
166	Draft submitted to POPLClosed Type Families with Overlapping Equations Richard A. Eisenberg University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:19 Continuous function Denotational semantics Generic programming Software engineering Symbol Theoretical computer science Mathematics Calculus
167	MFPSSemi-decidability of may, must and probabilistic testing in a higher-type setting Mart´ın Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-12 05:48:53 Denotational semantics Logic in computer science Model theory Structure Μ operator Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
168	PROVING CORRECTNESS OF COMPILER OPTIMIZATIONS BY TEMPORAL LOGIC David Lacey (Oxford University) Neil D. Jones (University of Copenhagen) Eric Van Wyk (Oxford University) Carl C. Frederiksen (University of Copenhagen) Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:49 Logic Denotational semantics Logic in computer science Interpretation Compiler Symbol Natural deduction Μ operator Theoretical computer science Mathematical logic Model theory
169	On the characterization of models of H ∗ Flavien Breuvart ∗ PPS, UMR 7126, Univ Paris Diderot, LIPN, UMR 7030, Univ Paris Nord, Sorbonne Paris Cit´e Abstract Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-05-14 11:54:52 Models of computation Mathematics Lambda calculus Symbol Combinatory logic Denotational semantics Spectral theory of ordinary differential equations Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
170	Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2006-11-20 04:57:34 Structure Models of computation Denotational semantics Logic in computer science Power domains Continuous function Complete partial order Scott continuity Function Mathematics Order theory Theoretical computer science

UPDATE